#ifndef _TIMER3_H_
#define _TIMER3_H_

#include <inttypes.h>

extern void timer3_init (void (*) (void));

#endif /* _TIMER3_H_ */
